Verification of xUML Specifications in the context of MDA
نویسندگان
چکیده
This paper deals with the application of verification techniques in the context of MDA. The main emphasis is on the UML profile xUML and on TLA based verification and specification methods.
منابع مشابه
Issues in Large Scale Application Development with Model - based Techniques
Model driven technologies for software development are being considered and used to address issues of size, complexity, adaptability, maintainability, distribution, and validation for large, enterprise-wide software systems. The Object Management Group has been promoting their Model Driven Architecture (MDA) standards, while various academic groups and commercial companies have concurrently bee...
متن کاملStepwise Refinement in Executable-UML for Embedded System Design: A Preliminary Study
The fast growth in complexity coupled with requests for shorter development periods for embedded systems are bringing demands towards a more effective, i.e. higher-abstract, design process for hardaware/software integrated design. In Software Engineering area, Model Driven Architecture (MDA) and Executable UML (xUML) has been accepted to bring further improvement in software design. This paper ...
متن کاملRunning and Debugging UML Models
Software development evolution is a history of permanent seeks for raising the abstraction level to new limits overcoming new frontiers. Executable UML (xUML) comes this way as the expectation to achieve the next level in abstraction, offering the capability of deploying a xUML model in a variety of software environments and platforms without any changes. This paper comes as a first expedition ...
متن کاملExecuting UML Models
Software development evolution is a history of permanent seeks for raising the abstraction level to new limits overcoming new frontiers. Executable UML (xUML) comes this way as the expectation to achieve the next level in abstraction, offering the capability of deploying a xUML model in a variety of software environments and platforms without any changes. This paper comes as a first expedition ...
متن کاملUse of model transformation for the formal analysis of railway interlocking models
Model transformation is at the heart of Model-Driven Engineering (MDE). In MDE, the system model is specified using a modelling language, such as UML (Unified Modelling Language) or a DSL (Domain-Specific Language). Once a model is specified, executable code for a computing platform can be automatically generated by means of model transformation (code generation). Besides the support for increm...
متن کامل